В математике нет настоящих противоречий.
Гаусс
Логика — это искусство уверенно совершать ошибки (Сливать на бирже)).
Неизвестный автор
Не так давно я написал пост про критику логики со стороны семантики:
https://smart-lab.ru/blog/642215.php
После этого на меня набросился математический планктон с критикой. Лучшим ответом на шипение математического планктона является книга, которая написана Математиком и критикует математику.
К сожалению, уже вначале книги математик Клайн Морис констатирует один существенный факт:
Для получения своих удивительных, мощных результатов математика использовала особый метод — метод дедуктивных выводов из небольшого числа самоочевидных принципов, называемых аксиомами; этот метод знаком каждому школьнику — прежде всего из курса геометрии. Природа дедуктивного вывода такова, что она гарантирует истинность заключения, если только истинны исходные аксиомы. Очевидная, безотказная и безупречная логика дедуктивного вывода позволила математикам извлечь из аксиом многочисленные неоспоримые и неопровержимые заключения. Эту особенность математики многие отмечают и поныне. Всякий раз, когда нужно привести пример надежных и точных умозаключений, ссылаются на математику.
Отсюда напрашивался вывод, что природа построена не на чисто математической основе, а если такая первооснова и существует, то созданная человеком математика не обязательно соответствует ей. Ключ к реальности был утерян. Осознание этой потери было первым из бедствий, обрушившихся на математику.(
Читать дальше )